$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ = $j$) $\Rightarrow$ (($i$ =$_{0}$ $j$) = tt $\in$ $\mathbb{B}$)